body {
  font-family: Tahoma;
  color: black;
  padding: 0px 0px 0px 0px;
  margin: 0px 0px 0px 0px;
}

#header {
  font-weight: bold;
  font-size: 12pt;
  color: #337733;
  border-bottom: 1px solid #CCCCCC;
  padding-bottom: 0px;
  margin-bottom: 0px;
  background-color: #EEEEEE;
}

#header table {
  border: none;
  font-weight: bold;
}

#navigation {
  font-size: 12pt;
  font-weight: normal;
}

#main {
  position: relative;
  border-top: 1px solid #EEEEEE;
  padding: 5px;
  background-color: white;
}

h1 {
}

table {
  border: 1px solid black;
}

table.noborder {
  border: none;
}

th {
  background-color: #336633;
}

a {
  color: #111166;
}

.batch_passed {
  color: green;
}

.batch_failed {
  color: red;
}

.batch_running {
  color: #AA5555;
}

.batch_error {
  color: purple;
}

.batch_pending {
  color: blue;
}

.batch_name {
  color: #EEEEEE;
  padding: 1px;
}

.batch_name a {
  color: #DDDDDD;
}

.error {
  border: 1px solid #773333;
  background-color: #AA7777;
  color: white;
  text-align: center;
}

.notice {
  border: 1px solid #337733;
  background-color: #77AA77;
  color: white;
  text-align: center;
}

.config_cmd, .make_cmd, .test_input {
  background-color: #AAAAFF;
  border: 1px solid #7777DD;
}

.config_out, .make_out, .test_output {
  background-color: #AAFFAA;
  border: 1px solid #77DD77;
}

.config_err, .make_err, .test_error {
  background-color: #FFAAAA;
  border: 1px solid #DD7777;
}